Philip Wadler - PDFSEARCH.IO - Document Search Engine

Philip Wadler
Results: 73

#	Item
61	A Practical Theory of Language-Integrated Query James Cheney, Sam Lindley, Philip Wadler Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-12-03 23:20:14 Language Integrated Query Linguistics Software engineering Philip Wadler Meijer Yallop Syme Predicate Computing Functional programming .NET framework
62	Well-typed programs can’t be blamed Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-05-29 09:37:54 Programming language theory Lambda calculus Software engineering Computing Program analysis Type system Type theory
63	Links: Web Programming Without Tiers? Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop University of Edinburgh Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2007-03-19 08:29:23 Philosophical logic Dictionary Fictionary Dog Squad Stipulative definition Linguistics Definition Lexicography
64	20th May[removed]Lesley Thompson Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2006-06-02 10:10:09 Academia Computer science Functional programming Philip Wadler Software engineering
65	Links: Linking Theory to Practice for the Web Case for Support Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2006-06-02 10:10:09 Functional languages Philip Wadler XQuery XML transformation language Concurrent computing Erlang XSLT Haskell SQL Computing Software engineering Computer programming
66	Links Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-03-04 12:47:43 Functional programming Adjoint functors Query languages Functional languages Monad XQuery Philip Wadler SQL JavaScript Computing Software engineering Computer programming
67	Philip Wadler School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-01-04 10:23:31 Functional programming Programming paradigms Philip Wadler International Conference on Functional Programming Mads Tofte Simon Peyton Jones Logic programming SIGPLAN Haskell Software engineering Computing Declarative programming
68	System Design Project 2013 — Football Rules John Butler, Garry Ellard, Philip Wadler 29th March 2013 Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2013-03-29 09:57:01 Robot Association football Penalty kick Aim High FIRST Lego League Sports Laws of association football Robot competition
69	Well-typed programs can’t be blamed Philip Wadler Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-05-16 09:09:09 Computer science Lambda calculus Data types Theory of computation Logic in computer science Subtype polymorphism Type system Type safety Typed lambda calculus Type theory Mathematics Theoretical computer science
70	Propositions as Sessions Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-08-31 07:10:39 Theoretical computer science Proof theory Predicate logic Computability theory Models of computation Π-calculus Function Natural deduction Generalization Mathematics Mathematical logic Logic